From 3654bcfbe8d8bc3bc7476032f510529045ad85ae Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Fri, 15 Jan 2021 01:07:08 -0500 Subject: [PATCH] Make the theme variants available as themes This makes it easier to implement the theme switching in widget-factory, since we don't have a variant setting. --- gtk/gen-gtk-gresources-xml.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gtk/gen-gtk-gresources-xml.py b/gtk/gen-gtk-gresources-xml.py index 38a928388d..14c90f1ee1 100644 --- a/gtk/gen-gtk-gresources-xml.py +++ b/gtk/gen-gtk-gresources-xml.py @@ -32,7 +32,12 @@ def get_files(subdir,extension): xml += ''' theme/Empty/gtk.css + theme/Default/gtk.css + theme/Default/gtk-dark.css + theme/Default/gtk-hc.css + theme/Default/gtk-hc-dark.css + theme/Default/gtk-light.css theme/Default/gtk-dark.css theme/Default/gtk-hc.css -- 2.30.2